approximation lemma

逼近引理